formal logic inference
形式逻辑推理
热门查询
- hypnotise vt. （英）使进入催眠状态（等于hypnotize） vi. （英）对…施行催眠（等于hypnotize）
- surtax n. 附加税 vt. 对…征收附加税
- Liberal Democrat n. 自由民主党成员（或支持者） [网络] 英国自由民主党；自由民主派；自由民主党籍
- grandmama n. 奶奶；外祖母
- Mikael 米卡埃尔（男子名）
- away adv. 离去，离开；在远处
- dispositive adj. （事件、行为等）决定性的
- Aldermaston 奥尔德玛斯顿村(位于英国伯克郡的原子武器研究机构所在地)
- Zeus n. 宙斯（希腊神话中的主神）
- impacted v. 装紧；挤满（impact的过去分词） adj. 压紧的；结实的；嵌入的；（人口）稠密的
- meter n. 米；仪表；[计量] 公尺；韵律 vt. 用仪表测量 vi. 用表计量 n. (Meter)人名；(英)米特；(塞)梅特
- tumbleweed n. [植] 风滚草
- yorker n. 投出恰好落于球拍下面之球; 约克猪
- ionosphere n. [地物] 电离层
- wilderness n. 荒地；大量，茫茫一片
- opossum n. 负鼠；装死
- teams n. 团队，参赛队伍（team的复数形式） v. 协作（team的第三人称单数）；赶联畜；结成一对
- infuriating v. 使发怒（infuriate的ing形式） adj. 令人大怒的
- jetliner n. 喷气客机
- Ayling [人名] [英格兰人姓氏] 艾林来源于古英语，含义是“王子”(prince)
